Writing Positive/Negative-Conditional Equations Conveniently
نویسندگان
چکیده
We present a convenient notation for positive/negative-conditional equations. The idea is to merge rules specifying the same function by using case-, if-, match-, and let-expressions. Based on the presented macro-rule-construct, positive/negative-conditional equational specifications can be written on a higher level. A rewrite system translates the macro-rule-constructs into positive/negative-conditional equations.
منابع مشابه
Two modes of assessment: the case of academicians' writing
This study attempted to investigate writing problems and the relationship between expert-assessment and self-assessment of writing problems. Participants were thirty four non-English faculty members of Tehran and Guilan universities. The instruments were writing an essay on the topic "What teaching strategies do you use in your classes?" in twenty five lines and filling the questionnaire of wri...
متن کاملA Constructor-based Approach for Positive/negative-conditional Equational Speciications
We present a constructor-based approach for assigning appropriate semantics to algebraic speciications given by nite sets of positive/negative-conditional equations. Under the assumption of con-uence of the reduction relation we deene, the factor algebra of the ground term algebra modulo the congruence of this reduction relation is a minimal model which is (beyond that) the minimum of all model...
متن کاملA Constructor-Based Approach for Positive/Negative-Conditional Equational Specifications
We study algebraic speciications given by nite sets R of positive/negative-conditional equations (i. e. universally quantiied rst-order implications with a single equation in the succedent and a conjunction of positive and negative (i. e. negated) equations in the antecedent). The class of models of such a speciication R does not contain in general a minimum model in the sense that it can be ma...
متن کاملConsistency of Recursive Definitions via Shallow Confluence of Non-Orthogonal Non-Terminating Conditional Term Rewriting Systems with any kind of Extra Variables
Recursive definitions can be adequately and conveniently modeled with left-linear conditional term rewriting systems, provided that non-termination, non-trivial critical pairs, and extra variables are admitted. Confluence of such systems guarantees the object-level consistency of the underlying data types. We present a novel sufficient criterion for shallow confluence, a property which is logic...
متن کاملThree steps method for portfolio optimization by using Conditional Value at Risk measure
Comprehensive methods must be used for portfolio optimization. For this purpose, financial data of stock companies, inputs and outputs variable, the risk measure and investor’s preferences must be considered. By considering these items, we propose a method for portfolio optimization. In this paper, we used financial data of companies for screening the stock companies. We used Conditional Value ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- CoRR
دوره abs/0902.2975 شماره
صفحات -
تاریخ انتشار 1994